An axiomatic basis for classical thermodynamics

An axiomatic foundation for continuum thermodynamics

An axiomatic study of infinite basis

We present a new technique for studying the w-axiomatizability of the semantics in the ltbt-spectrum. Although Fokkink et al. have recently solved most of the problems still open, our main goal is to shed light on them, and to simply and unify their proofs. Besides, we will focus on preorders (and make a fundamental use of the axiom for ready simulation semantics) instead of equivalences, since...

An Axiomatic Basis for Reasoning about Trust in PKIs

Trust is essential to a communication channel. The trust relationships, which play an important role in Public Key Infrastructures (PKIs), need to be formalized for providing a reliable modelling methodology to support secure digital communications. In this paper, we present a typed modal logic used for specifying and reasoning about trust in PKIs. In order to study trust relationships within P...

Constantin Carathéodory and the axiomatic thermodynamics

The birth, raise, development and fortunes of a fundamental theory in thermodynamics, the axiomatic thermodynamics, a creation of Constantin Carathéodory, is thoroughly presented together with a summary of Carathéodory’s biography. Axiomatic thermodynamics is centered around some interesting properties of Pfaffian differential equations, which are here introduced and used for some well-known ca...

Classical thermodynamics of gravitational collapse